<html>
<head><meta charset="utf-8"><title>Cron Job Failure 2021-05-08 · miri · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/269128-miri/index.html">miri</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/269128-miri/topic/Cron.20Job.20Failure.202021-05-08.html">Cron Job Failure 2021-05-08</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="237933283"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/269128-miri/topic/Cron%20Job%20Failure%202021-05-08/near/237933283" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> miri cronjobs <a href="https://rust-lang.github.io/zulip_archive/stream/269128-miri/topic/Cron.20Job.20Failure.202021-05-08.html#237933283">(May 08 2021 at 07:12)</a>:</h4>
<p>Dear <span class="user-mention" data-user-id="120791">@RalfJ</span> and <span class="user-mention" data-user-id="124288">@oli</span></p>
<p>It would appear that the Miri cron job build failed. Would you mind investigating this issue?</p>
<p>Thanks in advance!<br>
Sincerely,<br>
The Miri Cronjobs Bot</p>



<a name="237983944"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/269128-miri/topic/Cron%20Job%20Failure%202021-05-08/near/237983944" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/269128-miri/topic/Cron.20Job.20Failure.202021-05-08.html#237983944">(May 08 2021 at 20:54)</a>:</h4>
<p>I'm looking into this...</p>



<a name="237990055"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/269128-miri/topic/Cron%20Job%20Failure%202021-05-08/near/237990055" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/269128-miri/topic/Cron.20Job.20Failure.202021-05-08.html#237990055">(May 08 2021 at 22:47)</a>:</h4>
<p>Weird, I can't reproduce these failures. I ran <code>./miri build &amp;&amp; ./miri test</code> after updating my Miri clone and everything passed. Then I tried <code>MIRIFLAGS="-O -Zmir-opt-level=4" ./miri test</code> and it still passed. I then tried <code>./rustup-toolchain HEAD</code> and everything still passed. What am I missing? (I'm on macOS, which <em>is</em> one of the CI builders that failed.)</p>



<a name="238010544"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/269128-miri/topic/Cron%20Job%20Failure%202021-05-08/near/238010544" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> hyd-dev <a href="https://rust-lang.github.io/zulip_archive/stream/269128-miri/topic/Cron.20Job.20Failure.202021-05-08.html#238010544">(May 09 2021 at 05:31)</a>:</h4>
<p>Sorry, I think I've already fixed it yesterday: <a href="https://github.com/rust-lang/miri/issues/1790">miri#1790</a><br>
I should have left a comment here...</p>



<a name="238058065"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/269128-miri/topic/Cron%20Job%20Failure%202021-05-08/near/238058065" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Noah Lev <a href="https://rust-lang.github.io/zulip_archive/stream/269128-miri/topic/Cron.20Job.20Failure.202021-05-08.html#238058065">(May 09 2021 at 20:04)</a>:</h4>
<p>Ah, that makes sense!</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>